package real.lang.semantics;

import real.lang.RealObject;
import real.lang.reflect.RealType;

/**
 * Each RealObject has no direct meaning or value. But it can be obtained or  
 * e v a l u a t e d according to some map from RealObjects to RealValues.
 * 
 * Such maps are called interpretations
 * 
 */
public abstract interface SemanticDomain {

	public RealObject DefinenableFor(Class<? extends RealObject> realClass);
	
}
